1. Functional programming, concurrency, simulation and automated reasoning : international lecture series 1991-1992, McMaster University, Hamilton, Ontario, Canada
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic digital computers-- Programming-- Congresses,، Functional programming )Computer science(-- Congresses,، Parallel programming )Computer science(-- Congresses,، Automatic theorem proving-- Congresses,، Computer simulation-- Congresses
رده :
QA
76
.
6
.
F853
1993
2. Proof technology and computation /
پدیدآورنده : edited by Helmut Schwichtenberg and Katharina Spies.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Automatic theorem proving, Congresses.,Computer programming, Congresses.,Computer software-- Development, Congresses.,Automatic theorem proving.,Computer programming.,Computer software-- Development.,COMPUTERS-- Expert Systems.
رده :
QA76
.
9
.
A96
N38
2003eb
3. Types for proofs and programs :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Automatic theorem proving ; Congresses ; Computer programming ; Congresses ;
4. Types for proofs and programs :
پدیدآورنده : Paul Callaghan ... [et al.]
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Automatic theorem proving, Congresses,Computer programming, Congresses
رده :
QA76
.
9
.
A96
T96
2000
5. Types for proofs and programs :
پدیدآورنده : Jean-Christophe Filliâtre, Christine Paulin-Mohring, Benjamin Werner (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Automatic theorem proving, Congresses,Computer programming, Congresses
رده :
QA76
.
9
.
A96
T96
2004
6. Types for proofs and programs : International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000 : selected papers
پدیدآورنده : Paul Callaghan...]et al.[, )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Computer programming,Congresses ، Type theory
رده :
QA
76
.
L28
Vol
.
2277
7. Types for proofs and programs : International Workshop, TYPES'99, Kloster Irsee Germany, March 27-31, 1999: selected papers
پدیدآورنده : Thorsten Altenkirch, Wolfgang Naraschewski, Bernhard Reus )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Computer programming,Congresses ، Type theory
رده :
QA
76
.
L28
Vol
.
1657
8. Types for proofs and programs: International Workshop, TYPES'99, Lokeberg, Sweden, June 12-16, 1999 : selected papers
پدیدآورنده : Thierry Coquand...]et al.[, )Eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Computer programming,Congresses ، Type theory
رده :
QA
76
.
L28
Vol
.
1956
9. Types for proofs and programs : International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003 : revised selected papers
پدیدآورنده : Stefano Berardi, Mario Coppo, Ferruccio Damiani )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
3085
10. Types for proofs and programs : international workshop, TYPES 2002, Berg en Dal, the Netherlands, April 24-28, 2002 : selected papers
پدیدآورنده : Herman Geuvers, Freek Wiedijk )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
2646
